6

Boolean satisfiability from theoretical hardness to practical success

Year:
2009
Language:
english
File:
PDF, 3.31 MB
english, 2009
21

Vigilante

Year:
2005
Language:
english
File:
PDF, 322 KB
english, 2005